Polarity-pragma-and-positive-polarity.agda:6,1-7,14
D is not strictly positive, because it occurs
in the first argument of F
in the type of the constructor d
in the definition of D.
